Finite derivation type for graph products of monoids
نویسندگان
چکیده
منابع مشابه
Finite Complete Rewriting Systems and Finite Derivation Type for Small Extensions of Monoids
Let S be a monoid and let T be a submonoid of nite index in S. The main results in this paper state that S can be presented by a nite complete rewriting system if T can, and S has nite derivation type if T has.
متن کاملOn finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids
This paper investigates the class of finitely presented monoids defined by homogeneous (length-preserving) relations from a computational perspective. The properties of admitting a finite complete rewriting system, having finite derivation type, being automatic, and being biautomatic are investigated for this class of monoids. The first main result shows that for any consistent combination of t...
متن کاملOn graph products of automatic monoids
The graph product is an operator mixing direct and free products. It is already known that free products and direct products of automatic monoids are automatic. The main aim of this paper is to prove that graph products of automatic monoids of finite geometric type are still automatic. A similar result for prefix-automatic monoids
متن کاملGraph Products of Right Cancellative Monoids
Our first main result shows that a graph product of right cancellative monoids is itself right cancellative. If each of the component monoids satisfies the condition that the intersection of two principal left ideals is either principal or empty, then so does the graph product. Our second main result gives a presentation for the inverse hull of such a graph product. We then specialise to the ca...
متن کاملHomotopy bases and finite derivation type for Schützenberger groups of monoids
Given a finitely presented monoid and a homotopy base for the monoid, and given an arbitrary Schützenberger group of the monoid, the main result of this paper gives a homotopy base, and presentation, for the Schützenberger group. In the case that the R-class R of the Schützenberger group G (H) has only finitely many H -classes, and there is an element s of the multiplicative right pointwise sta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Filomat
سال: 2016
ISSN: 0354-5180,2406-0933
DOI: 10.2298/fil1607987k